Another travis fix. 