another travis fix