Diagnosed TravisCI failure: Linux filenames are case-sensitive, windows is not