if [[ ! -f ${tmp_png_file} ]] ; then
    echo "pdftoppm does not work."
    exit 1
  fi
  convert -thumbnail ${image_size} ${tmp_png_file} "${output_file}"
  rm -f ${tmp_png_prefix}*png
elif [[ x"${cmd_type}" = "xpdf" ]] ; then
  check_command convert
  check_command pdftoppm
  target_file=$(echo "$url" | sed -e "s#^file:/*#/#g")
  tmp_png_prefix=/tmp/thumbnail.png.$$
  pdftoppm -png -singlefile "${target_file}" ${tmp_png_prefix}