trying to fix travis CI