specify abi for travis