a.out format for Linux
