Fix bootstrap file