try fixing for travis CI again