sync toplevel with gcc