simplify rump/linux.lua