Added preference 'use_extensions'