These #defines cause our code to violate the one-definition rule, especially in the driver, but probably even in the server itself.

Mathias confirms that with current compilers, our existing benchmarks no longer indicate a performance advantage.