fixing bug for case-sensitive autoloading in linux