fixed the postflight script for 32-bit