Apparently, defs really need make clean, then make