Re-add files deleted because of git's stupidity.