Pasting in the bootstrap files