Comment 7 for bug 948323

Serge, I had not directly thought of it because our discussion went probably into some confusion when also talking about (bug 949028). But it would make sense. It is not critical to get it into Ubuntu right now as the Xen build has been fixed to use the alternative file name which works.