fix file name of abi wrapper