Fix bug in proxy generator that was only exposed in x86 jitter.