Fix travis filename.