attempt to fix occasional travis build failures (timeouts)