bug-fix Debian/Ubuntu (minor: symlink)