Updating bootstrap.py to work with trusty64