restore old travis file