Fix build for ia32 port debug mode