don't need that now that we've not doing CTR mode ourselves