hardcode mpi wrappers in config.sh instead of $CC