Fix pkgboot.py