mark5: uninstall first to avoid problems with mark5 thinking it is installed.