fix fixture name for amf3-bignum