Fix for command-line tools not being detected

See issue #24751

My command-line installation is in /usr/bin, but dev_tools_path was being set to //usr/bin.