(FIX) Ensure that BOOST_PRE works