diff --git a/tools/convert_31.rb b/tools/convert_31.rb
index 0d3a644149..155ce52ff4 100755
--- a/tools/convert_31.rb
+++ b/tools/convert_31.rb
@@ -37,6 +37,7 @@ endc.downto(1) do |idx|
 end
 
 outp.rstrip!
+outp << "\n"
 
 fd = File.open(path, "w")
 fd.write(outp)