add formula for ios-webkit-debug-proxy