Revert to old travis file