dev+: eventual sqlite3_shutdown(), off by default