fixed the printing of the Boost version number by scons, using the integer parsing rules suggested by boost/version.hpp