use a patched version of 3.2.5

the one on the official site has a bug