Renamed a.out