It works now. For anyone else struggling with Android/NDK/GCC/Eclipse, here’s how I solved it:
- Bury a dead cat at midnight when full moon
- Restart the Android device emulator
Haven’t verified if both steps are really necessary, and if not, which one is redundant.