fix tinderbox line parsing (Bug 1023871)