Bug #3839 Index comment is supported only starting with MySQL 5.5