Try to fix travis issues