Returns a platform-specific dynamic-load-file filename for FILE.
Note this superfluous now as all shared binaries have the "so" extension.
Returns a platform-specific dynamic-load-file filename for FILE.
Note this superfluous now as all shared binaries have the "so" extension.