remove some unneccessary boost headers