1. Currently `binfhecontext.h` is included in one of the file in `pke`. We should find a cleaner approach.
binfhecontext.his included in one of the file inpke. We should find a cleaner approach.