Fixing name of test file on Travis CI