Switch back to mpicc.