fix boost mpi build with shared openmpi