runDB moved so I can use this thing in REPL