[IMP-dev] compiling imp for 32BIT