making this friendlier on hosts that don't have a notmuch config