Use default MySQL innodb log file size to make Travis happy.