Adding gettimeofday to Python sandbox