add missing files; git is weird