Some missing mysql->mysql0 renames