Can't build mali binary driver with version 401

[white_gecko]

I'm trying to build the mali binary driver according to the instructions in the linux-sunxi wiki [1]. But as I reach the "Configure" step for the mali userspace driver [2] make config fails and can't detect my mali version:

Code Select Expand

VERSION="UNKNOWN" (Detected)

I've modified the version.c file to see, which version it is actually detecting [3] and I get:

Code Select Expand

Version is: 401
What does this version tell me and what is influencing the version number? It can't be a hardware version since this all is happening on Igor Pecovnik's image [4] while on the official olimex image [5] it returns version 14. Does it depend on the kernel version? They are 3.4.105-sunxi vs. 3.4.90+.

[1] https://linux-sunxi.org/Mali_binary_driver
[2] https://linux-sunxi.org/Mali_binary_driver#Configure
[3] https://github.com/linux-sunxi/sunxi-mali/issues/11
[4] http://www.igorpecovnik.com/2014/11/18/olimex-lime-debian-sd-image/
[5] https://www.olimex.com/wiki/images/f/f3/A20_Lime_debian_3.4.90_release_2.torrent