[checkmk-commits] Check_MK Git: check_mk: Change capitalization of MySQL before everyone inventorizes it