Try to fix travis CI