* ginsh_input(): Modern versions of flex want us to use the macro