adding derived files from ./bootstrap