cleaner formatting of innodb convert script