include miniboost globally (TODO: make it possible to use host boost)