@Gautier Don't mention last post. I tried to clone the branch, then autogen.sh, make, sudo make install and now I have a perfectly working build. I wonder why this difference between git clone and the zip archive. 2015-02-15 19:24 GMT+01:00 Michele Giacomoli