Documentation: Fix debian package locations / dependencies.

Fixes #5566