Right, I was getting some segfault on my setup that I could only fix with that, probably an issue with my setup.