clean up rump/linux.lua