Add -abi option