Vivien Clauzon

ARM compile for android is now fixed (`./Tools/build/buildAndroid.sh`) aarch64 for linux seems also ok (`./Tools/build/buildRPi64.sh`) The first one depends on an ANDROID_NDK_PATH and at home I'm using armv7a-linux-androideabi34-clang The second...

Ok should be linked to some kind an anti-hammering stuff server-side, because it never happens if I pause for 3 seconds between each request. Can probably be closed I guess.