more linux abi rump stuff, still issues