Change library name

darcs-hash:20081022111129-58252-84407946f1f1f7ba04e3482b4257d3f2756f17c8
Small changes

darcs-hash:20081022111658-58252-d498158c138fd719b4908f5c13e152ad0fdd86da