re-enable X32 ABI
bump 3.13.2