diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index 936a8e0e9..127e67072 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -106,7 +106,8 @@ static void exit_handler(int sig)
 static char* cpufreq(void)
 {
 	char line[2048];
-	const char* match = NULL;
+	char* match;
+	char* point;
 
 	FILE* fp = fopen("/proc/cpuinfo", "r");
 	if (!fp)
@@ -120,6 +121,10 @@ static char* cpufreq(void)
 		for(; (*match < 0x30) || (*match > 0x39); match++)
 			;
 
+		for(point = match; ((*point != '.') && (*point != '\0')); point++)
+			;
+		*point = '\0';
+
 		snprintf(cmdline, MAX_PATH, "-freq%s", match);	
 		fclose(fp);