Fix for tet_bigmem.py (the failure was caused by a spurious reference
to 'file', which no longer exists).
Fix inspired by Christian Heimes, SF# 1752195.
1 file changed