Set 'davix' option ON by default for Linux platforms.