merge 250644 170522 thanks This looks like the same old "apt's solution might not be the best one" bug. -- - mdz