Yes that's the same root file. I just remember using it and on a few phones I had rooted back in my Evo days. I have don't the HTC dev unlock but someone else want to root the phone the temp way then s-off without using dev.
Sent from my HTCONE using XDA Premium 4 mobile app
HTC ONE 6/19/2013
HTC EVO 12/29/2010 - 6/19/2013
HTC Touch Pro2 6/23/10 - 12/29/2010
HTC Touch RIP 11/2/07 - 6/23/10