use __android_log_print by default for android