chg: deactivated two procedures of polymake.so, which clashed with gfanlib