After using ghci to load a library I'm working in, I got this message: can't load .so/.DLL for: pthread (/usr/lib/libpthread.so: invalid ELF header) Then I did 'cat /usr/lib/libpthread.so' and, much to my surprise, it's a text file with the following contents: /* GNU ld script Use the shared library, but some functions are only in the static library, so try that secondarily. */ OUTPUT_FORMAT(elf32-i386) GROUP ( /lib/libpthread.so.0 /usr/lib/libpthread_nonshared.a ) Is this a standard file? Should ghci be able to understand it and, maybe, use the listed libraries instead? Thanks, Maurício