Hi Andreas, I wonder if #588041 (" installing the debs with dpkg does not do dependency reordering") is really still open? The last meaningful traffic on this is from 2011... cheers, Holger