Revert "change devtools default"

This reverts commit 7d74516d496b301e95f3c09208f8c322d735ea86.