bug #4102 ALTER TABLE ORDER BY and InnoDB