Upgrade Ur/Web version to handle MySQL databases where table names are not unique, according to case-insensitive comparison