Removing svn_ext_val, not necessary since git.