dist cabal-dev tmp *.aux *.eventlog *.hp *.pdf *.ps