switch to latest version 3.1.6 of factory and libfac from Singular