Minor fixes including patch to boost/interprocess