Fixing file extension on Travis CI