Simplify dev_tools_path by checking active_developer_dir first
add a TODO