set devtools extensionmanager to override default