MPICC, MPICXX, MPILIBS are now precious and thus stored in configuration-cache.
This fixes a bug that caused MPICC to be forgotton on re-configure runs.