Attempt at fixing travis config