Made the /tmp db location consistent with previous versions, made -kill-servers remove no-sync.db, adjusted debug messages