clarified default options: SQLite build_database is unsupported for Isabelle2023, due to lack of proper transaction_lock;