Fixed a python problem.
Removed obsolete bootstrap script.