android/gcc-4.8 compilation fix: add missing includes