tags 863198 + moreinfo thanks Hi Hervé,
I'm hunting down old bug reports in the Xen packages, and also ran into this one: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863198 Like John Keates already answered in there, when dealing with the source of a debian package, you're also expected to use the debian packaging way of building it. When just issuing make commands, you're dealing with the upstream source in a way that we cannot support in Debian. Since there has been no more activity on the report, I might close it in a while if there's no response, since it's not something we can act on. Have fun, Hans