Boost: apply fix for ticket #9332