Fix config for TravisCI