C'est quand même clairement contraire à l'esprit de la GPL, et à mon avis ils pourraient se faire taper sur les doigts si un avocat s'en mêlait (grosso modo, la GPL ne permet l'interaction avec des softs non-GPL que si le soft GPL et le non-GPL sont réellement indépendants ; difficile de prétendre que c'est le cas quand on ne fournit qu'un exécutable qui contient les deux, et qui n'a quasiment aucune valeur ajoutée)