Add remaining bootstrap files.

Oops.