remove ansi_only from oslib cert.acl2,
this may break the gcl build temporarily but I think it's the right thing to do...