make it compile with android ndk using gcc 4.7