Bugfix in bootstrap script.