darcs patch: Add mkSharedLibName for generating the mangled library...