[Q] Softbrick, mkfs.ext4 download. topic

I appear to have softbricked my phone. I'm following this tutorial to resolve the issue:

http://android-revolution-hd.blogspo...a-htc-one.html

The link in this tutorial to the binary mkfs.ext4 is broken. Would anyone happen to have a link they could send me?

Thanks!