make the hacks put in place for IE10 work well with safari