Update devtools

This was unfortunately required…