Corrects handling of proc.time() in sandboxed environments