more linux abi fixes