Fix bootstrap file name.