Temporary travis fix not needed anymore