Fix installing with mysql db driver (issue #753)