Missing file for IE10-fix.