Actually add the aforementioned files.