Sync toplevel files with GCC