Compiling 64bit for Android

Following the instructions in http://cocos2d-x.org/news/390
I’ve downloaded the libs in 2.7 and compiled them in 64bit except for libwebsocket.

When following the instructions here: http://cocos2d-x.org/news/401
I couldn’t execute ./configure since the file doesn’t exist.
I downloaded release-0.6.tar.gz from http://git.libwebsockets.org/cgi-bin/cgit/libwebsockets maybe this is the wrong version?

Also, apparently chipmunk which is used by cocos2d-x (even though I’m not using it in my game) doesn’t support 64bit Android.

Is it possible to build cocos2d-x v3.6 in 64bit for Android?