python: Change to use tool in share/linux instead of /workspace/tool