Another (desperate?) try at fixing travis