hack for fixing bootstrap.py