fix pygments minify file name error