centralize ABI flexibility in the spec header, deprecate PJ64 debugger