Brian Julin wrote: > After merging this (and a bunch of other stuff that had built up) and rebuilding, this happens: Oops. Do a "git pull", and I think it should be fixed. Thanks for the GDB backtrace. That helped. Alan DeKok.