fix configure with newer android ndk (r9)