Linux version of the .out file