Issue #36: travis ci fix: don't uninstall alternatives.