Prelude : fixed how to find the location of svn repository.