Returns the platform-specific full name for the library called \arg{name}. E.g.
it adds a {\tt ".dll"} extension under Windows and {\tt "lib"} prefix and
Returns the platform-specific full name for the library called \arg{name}. E.g.
it adds a {\tt ".dll"} extension under Windows and {\tt "lib"} prefix and