FIX: Include misc/aux before testing for SINGULAR_4_1
Note that n_CoeffRingQuot1 should replace numbercoeffs