silence boost build

36 jobs for PR-137 in 228 minutes and 5 seconds (queued for 61 minutes and 48 seconds)
latest