Fix: make check needed removed header (bigintm.h) for Singular/test.cc