issue #70: conversion to pdf: now create dot file automatically