Fixes bob/bob.nightlies#33

4 jobs for bob-nightlies-33 in 11 minutes and 32 seconds (queued for 1 second)
latest