Yet another travis fix