Upstream issue: https://github.com/openscad/openscad/issues/3197
features/boost.prf might be the proper file to patch rather than doing this