Fixed travis problem (again)