fix misc-specs.mk