Remote duplicate mpi/tool from DIST_SUBDIRS