various hacks to get ie9 ajax binary running