fix encoding_detect.h