packaging: updating links for Debian and man packages related to binaries