updates for rust v0.8-pre