Fix debug output in AIGER reader.