>>696
バイナリファイルのフォーマットが a.out だというのと、
実行ファイルの名前が a.out というのは全く別の話です。(現在では)

まああれだ、前半については気にするな。