define machine-dependent JNI types only if jni_md has not been included before