fixing bug in symlink handling
bugfixes in verify.py