Update hrpsys_tools_config.py