Comment 8 for bug 1550210

Bug about binaries being the same (alternatives not really alternatives):
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=817842