wrong version of cc1_main.cpp in last commit