linux builds are borken

Hello, Rafael

Try a "svn up". I was having a similar problem and found that it was
already fixed in a newer revision.

Yes, I committed the fix :slight_smile: No segfault for now, however valgrind is still not happy.