Making srcML handle different capitalization in file paths.