use lower-case input by default under Linux