new boost version and new dlvhex release