some lower-/uppercase fixing under linux