Strange. Does your checkout show the file as changed (or `genericVector.ts` as removed and `GenericVector.ts` as not under version control) if you rename it manually?