this piece shouldn't be necessary, bootstrap.py takes care of this in general.