make sure bootstrap script has correct name

fixes #12320