am db48d145: am 247dd0c4: Merge "Do not remove the generated .hpp file from yacc."

* commit 'db48d145841afb9b9b6d1c124191a1681d6b4f39':
  Do not remove the generated .hpp file from yacc.