Use the latest version of Davix. This solves a compilation error on 32bit