These libraries are general purpose libraries from the Clean-Platform repository.
They must NOT be modified (or fixed) here but only when appropriate in the upstream repository at:
https://svn.cs.ru.nl/repos/clean-platform