Be a bit more lenient, Travis build servers can be slow.