diff --git a/bin/make_interpret_functions.pike b/bin/make_interpret_functions.pike
index d7403b126dfc7a778c06ba2f030367f54479e813..74a8869285ceda07afe584bfecdc64b31d0daa0a 100644
--- a/bin/make_interpret_functions.pike
+++ b/bin/make_interpret_functions.pike
@@ -132,6 +132,7 @@ int main(int argc, array(string) argv)
 
   string file=argv[1];
   mixed x=Stdio.read_file(file);
+  x -= "\r"; // < 7.6.120 didn't hide \r.
   x=Parser.Pike.split(x);
   x=Parser.Pike.tokenize(x,file);
   x=Parser.Pike.hide_whitespaces(x);