Added manual-but-auto-download-for-linux option