more travis ci mangling