gen_makefile: allow combining several .opts files
7 files changed