bugfix waptdevutils.py