travis ci is more difficult than advertised