[devtools] Use proper wget --directory-prefix flag (#2578)