Fix Travis CI file extension