We need to export CC/CXX in mps_env.sh