now placed workaround with IE11 in the right file