Various hacks to fix ping timeouts.