extension_makefile.diff

