Revert run_with_timeout to 4 sec timeout