generate_builtins.py: Clean up generated output a bit.