Actually compile an IE10 permutation (#12080)

Change-Id: I4da4ef6dbbdf9fccfd3e8bf8d302365a3398d9de