Yes, I had same problems with the one linked on github. Using the one that the brazilians themselves originally gave out worked fine installing to USB though, at least for me. If you know what I am talking about better try the one on Gdrive.Yes. I used latest one from github. Well, next time i try to use one from gdrive.