try another travis fix