updated debian docs and patch