Re-add deleted files because of Git's stupidity