Fixing AMD64MockGenerator