android: fix 32bits ndk path