install.mysql.sql correction