I have an executable that was created with linux debian and given to me along with other input files needed by this file. The file name is: "model2" without the .exe extension. I recently installed linux debian in my windows 10 machine and want to run"model2". Could someone show me the commands to run this file? I am brand new to linux and trying to get up and running with some tutorials at the moment. Thanks