Debian packaging
fix deps
Check that pkg-config is installed
add a missing dependency in the doc
Rename to the expected file name