fix bug in getconf.py