Actually delete it as svn rename seemed to fail