[#1929] no capitalization in mysql database names