Use the .out extension