discard --with-Rmpi-*