As they said, someone else is perfectly free (it's a BSD license) to use their work to build a libfips.