Add member name unmangling to ProductFormats, fixes #120