Fix treatment of timeouts in run-tests and pintos.