toplevel Makefile: handle gen-config better