Add these files back because otherwise, git falls over and dies a horrible death.