enable to run the m32 version of the pintool