Add comment explaining strange exec() redirect hack