Fix compilation error for mariadb_replication provider (issue #18)