Make arm2gnu.pl emit only one line per input line, if possible.