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

(cherry picked from commit 19e02acd0bd0670ed36b5547ac52f04ce82ec5e7)