message: This is now options
diff: @@ -41,7 +41,7 @@ jobs:
  - name: Override extensions.csv
  shell: bash
  run: |
  - echo -e 'name,url,commit,build_on_windows\n${{ inputs.extension_name }},${{ inputs.extension_repo }},${{ inputs.extension_ref }},true' > duckdb-old/.github/config/extensions.csv
  + echo -e 'name,url,commit,options\n${{ inputs.extension_name }},${{ inputs.extension_repo }},${{ inputs.extension_ref }},true' > duckdb-old/.github/config/extensions.csv
  - uses: ./.github/actions/build_extensions
  with:
  @@ -86,7 +86,7 @@ jobs:
  - name: Override extensions.csv
  shell: bash
  run: |
  - echo -e 'name,url,commit,build_on_windows\n${{ inputs.extension_name }},${{ inputs.extension_repo }},${{ inputs.extension_ref }},true' > duckdb-old/.github/config/extensions.csv
  + echo -e 'name,url,commit,options\n${{ inputs.extension_name }},${{ inputs.extension_repo }},${{ inputs.extension_ref }},true' > duckdb-old/.github/config/extensions.csv
  - uses: actions/setup-python@v2
  with:
  @@ -133,7 +133,7 @@ jobs:
  - name: Override extensions.csv
  shell: bash
  run: |
  - echo -e 'name,url,commit,build_on_windows\n${{ inputs.extension_name }},${{ inputs.extension_repo }},${{ inputs.extension_ref }},true' > duckdb-old/.github/config/extensions.csv
  + echo -e 'name,url,commit,options\n${{ inputs.extension_name }},${{ inputs.extension_repo }},${{ inputs.extension_ref }},true' > duckdb-old/.github/config/extensions.csv
  - uses: actions/setup-python@v2
  with:
  @@ -194,7 +194,7 @@ jobs:
  - name: Override extensions.csv
  shell: bash
  run: |
  - echo -e 'name,url,commit,build_on_windows\n${{ inputs.extension_name }},${{ inputs.extension_repo }},${{ inputs.extension_ref }},true' > duckdb-old/.github/config/extensions.csv
  + echo -e 'name,url,commit,options\n${{ inputs.extension_name }},${{ inputs.extension_repo }},${{ inputs.extension_ref }},true' > duckdb-old/.github/config/extensions.csv
  - uses: ./.github/actions/build_extensions
  with:
  