attempt to fix travis CI