Fix bootstrap files