Update to reflect recent debugging information encoding changes.