Untested fix for win-mpi builds