The first time I tried to flash SBF with RSD Lite 4.9, it failed and the phone rebooted.
The second time I tried to flash SBF with RSD Lite 4.9, I used this SBF file:
Once extracted, it had the same filename as the original one I downloaded.
Here is the MD5 of the SBF file (unzipped of course) that worked for me: c2b6c62f1cca1919661e4f7921ece2f7
I had already gotten rid of the other one, so I don't know if there was a difference or if I just had to try twice for some reason.