Switching to using tau, rather than conj(tau), to define the Householder reflector, and fixing the CMakeLists.txt so that drivers are recompiled (not just relinked) when the headers change.