Fixed Travis file naming (thanks Windows)