Work around travis' 10 minute timeout.