rampl-spec.md and the newer $(SINGLE_SPEC_FILE) target were and are not PHONY (cause the actually produce files)