reopen 251768 thanks So this is a tricky problem; some buildd's are apparently not installing package dependencies properly. I'm tracking the bug; if you wish to work on it too, please coordinate with me. Thomas