Fix mysql::server duplicate declaration