hacks to get mysql_upgrade to work