for these type of files what launcher should be used? Appimagelauncher and others I have used and download does not run correctly.