more travis file improvements