Remove Hugs98 specific code
drwxr-xr-x - libraries