actually use the options provided insertPragma