linux and boost fixes