capitalized directory name causing problems on linux