This is actually used in both places. The SharkEnv thing is to make sure we propagate this to the workers.