make sure we use the right bootstrap script