Added fix to bootstrap script