Use file basename for .dot file

It is a good idea to use --save-temps to make sure .dot files are
saved in the current directory with a meaningful name.