Fixed extension of travis file.