Fix issue #631

15 jobs for v0.10.8-exciting-fix in 35 minutes and 13 seconds (queued for 5 seconds)