The CMake build system is broken with genvector=OFF (does not really
disable genvector, and tests fail if that is fixed). Therefore, it
was decided that it's better to just make this always ON and remove
the option for disabling it altogether.