util.py: Use ip instead of hostname for webbench