Fix annoying heisenbug in test-time.c