minor changes to serve linux' casesensitivity