cvs commit: hugs98/libraries/tools convert_libraries