Bug fixes to GSL / BOOST configuration