It's a temporary file instead of a.out.