close #645: innodb is now default