oops, fix compilation on xv6 and a couple minor improvements