Sync top-level Makefile.def with GCC