CI woes -

we now need to explicitly load builtins

Author: rocky

test/helper.py

@@ -2,9 +2,12 @@
 import time
 from typing import Optional
 
+from mathics.core.load_builtin import import_and_load_builtins
 from mathics.core.symbols import Symbol
 from mathics.session import MathicsSession
 
+import_and_load_builtins()
+
 # Set up a Mathics session with definitions.
 # For consistency set the character encoding ASCII which is
 # the lowest common denominator available on all systems.