I wonder whether IE 10 and IE 10 metro are different executables.