language changes: some remaining uses of ~[] in stdlib are gone.