Fix #254

3 jobs for dev-boileau in 54 seconds (queued for 36 seconds)