Fixes to bootstrap code
deleted obsolete bootstrap shell script