minor modification on lib/make.py