...
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)