fix for timeout.py