Fixed issue #581: Ugly hack to fix both mysql and mysqli in Installer