Remove obsolete bootstrap files