bug#22695: Binary Installation bugs and suggestions

[Ludovic Courtès]

Commit c8e26887eda99d1cd7b89772ff642854a6b78ebd incorporates your
suggestions; closing this bug..  Thanks again!

Ludo’.