more important question, why does MariaDB follow OS-specific conventions on case-sensitivity?