Add libdvdnav to deb dependencies
Merge of other branch