more travis modifikations