Add missing symbol for TORCH