yup, forgot to git rm the one in src/.