All files in ext should have been removed in a later commit. It must not have been pushed. I'll resolve this.