DEV: boost version number