Explicitly choose debugging data format version for Android in debug mode ...

... to work around a bug introduced in the Android NDK toolchain.