Hi, the CHANGELOG file in src/ mentions version 11.7.1, which I don't understand. The latest compiled version from git says current version is 11.1.1 (so sez the webpage). What's this 11.7.1 thing ? -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com