minor fixes in build_framework.py