Remove some a.out compatibility code.
github-issue: #45