Uses lib/Devtools as submodule