pygmentize file.XXX