If you remove it, it will flash. This is a known issue... I had the same problem along with many others over at XDA. Your correct that it shouldn't be a problem but sometimes it is. Some will flash others won't. I ran into this 2 days ago will building this rom. I had to remove the extra extension and then it worked. He could redownload it 100 times and he will have the same problem.