diff --git a/cf/make-proto.pl b/cf/make-proto.pl
index 74cb02a11..a55a64fd3 100644
--- a/cf/make-proto.pl
+++ b/cf/make-proto.pl
@@ -24,8 +24,8 @@ while(<>) {
     if(/\{/){
 	if($line =~ /\)\s$/){
 	    $_ = $line;
-	    while(s/\*\//\001/){
-		s/\/\*.*\001//s;
+	    while(s/\*\//\ca/){
+		s/\/\*.*\ca//s;
 	    }
 	    s/^\s*//;
 	    s/\s$//;