como instalar o 4k video downloader no linux