fixes for rump Linux ABI - still very experimental