Use MYISAM for travis.ci