Remove the dependence to BWT4Codec.h and EncodedString.h