make workaround for pdf2htmlex output file bug :0(