On Sat, Jun 29, 2013 at 06:28:40AM +0200, Michael Biebl wrote: > > could you check if this fixes the build for you? > > It does indeed. the same for the travis build on ubuntu (make check still fails though but that is another issue).