On Mon, Sep 1, 2014 at 6:40 PM, Saverio Proto <(spam-protected)> wrote: > Henning you are right ! I did not call the make install_libs ! "make build_all" is your friend... ;) > OK I confirm the patch works. I tested it right now. Great... Philipp, can you confirm the patch solves your problem too? If yes I can do the release. Henning