#12 fix mysql_install_db.pl.in script