Gave binary output proper file extension (.elf)