Improved support for old ABI dumps