fix file.hpp encoding problem