Fix HAVE_BOOST