fix target ABI export