PRAGMA option change