diff -uNr boinc/client/gui_rpc_server_ops.cpp boinc.mod/client/gui_rpc_server_ops.cpp
--- boinc/client/gui_rpc_server_ops.cpp	2022-07-18 18:32:21.000000000 +0800
+++ boinc.mod/client/gui_rpc_server_ops.cpp	2022-09-11 21:07:05.111844109 +0800
@@ -415,6 +415,7 @@
                 safe_strcpy(gstate.host_info.os_name, hi.os_name);
             }
 
+#if defined(__ANDROID__) && !defined(__TERMUX__)
             // We already have the Linux kernel version;
             // append the Android version.
             //
@@ -425,6 +426,7 @@
                     safe_strcat(gstate.host_info.os_version, ")");
                 }
             }
+#endif
 
             // Device name
             if (strlen(hi.domain_name)) {
