how to execute binary file in linux terminal