Fix filename of bootstrap script.