Ref. manual: fix paths for Debian/Ubuntu packages.