At least our schemadiff script assumes that unique keys have names. mysqldump generates them as well.