configure.sh: do call verify-server.sh under su as it does not work under Debian
download.sh: put all the tools under /usr/bin and let auto-sudo magic do its job when needed