Tue Feb 9 14:32:01 EST 2010 geoff
    applied but replaced /sys/inferno with /usr/inferno,
    since that's the canonical name for the inferno root.