Fixed prefix mirror URL.
Cleanup and bugfixes in the bootstrap script.
Fixed python.