[tor-commits] [oonib/master] Apply Arturo's fix for 12747