Fixes bootstrap.py to work with trusty64