fix: travis config for coverall