It's also likely that these changes were never submitted upstream. ;) Trying to contact them makes the most sense even if there hasn't been a release in a long time.

Otherwise we can make the makefile tweaks in this formula, but we definitely want to build from the official source even if the other repo had a tag.