subversion: version bumped to 1.8.0.