[Vm-dev] [commit][3098] Fix makefile generation for IA32ABI plugin on linux.