Fix compilation problems with genie generated code for proxy

Change-Id: Ie7d423d1a7e145774d98d13717639e7a8712874f
Signed-off-by: Tom Flynn <tom.flynn@gmail.com>