Let projects, not just user settings, describe mocha_compilers.