thanks! but the source and the binary both say its 3.2.1 and not 3.1 :S is that ok?
I think you clicked on the wrong one ... the one in RPi_32 says 3.1.1 when I download it and run it (and did also when I put it there

)
Or did you not run the one you downloaded?
The official source 3.1.1 also says 3 1 1 in configure.ac ... so you clicked on something wrong ... (or ran a different version to what you downloaded)