Changed the default for davix option (CMake)