remove yet more unnecessary stuff from the makefile
add a check for new id introduction to infer