Sigh. I forgot to build it with the new config options disabled. I've fixed that up and pushed it to the git tree. David
Sigh. I forgot to build it with the new config options disabled. I've fixed that up and pushed it to the git tree. David