This can go in. Also, I just sent you via private email some autoconf formatting hints from alexandre. I suspect I've been doing this non-optimally, so if you could clean up this mess too I'd appreciate it. thanks! benjamin