Corrected file name extension for travis-ci