new encoding of extensions