mysql/information_schema.sql change