clean up comment in gcc-interface.h