Fix for ROOT-6893 - Davix not enabled by default after building it with the davix option