Fix bug 1574 - updaterev.sh fails when path contains spaces