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