Re-add files removed by git's stupidity