clean up some in libexec/make.py