fix compilation with old versions of boost::mpi