wrong extension on travis file