fix problem with losing /vmunix in the middle, a bit of lint cleanup