fixes #15: options.prevent_extensions