halt test if static disabled
FLINT test-suite is broken