fix linux, remember: linux is case sensitive