Hello, OK, I got the point ;-), I'll keep the same version for both binaries. A README.Debian will do the trick to avoid complete confusion. Thanks for the insights, Eric -- Eric de France, d'Allemagne et de Navarre