Using the '--with-dot' switch is of course more convenient.