checkin.c writes the two files, and could possibly have an option not to, but changing that means we need to know why it writes "manifest" and then reads it back again!