extra/boost fixes