mk1mf.pl and mkdef.pl read OPTIONS from toplevel Makefile.