I was afraid that if it comes before install_deps, two versions of devtools will be installed. But I haven't actually checked.