Note: The distfile contains another library and several other programs
(mainly, upgrade of existing programs). I will make separate ports for
them.
Note 2: Since no other port currently depends on this port, I'm simply
replacing the old library with the new one.
PR: 3484