yet another travis fix