miscellaneous updates to latest rust