Corrected Travis file extension