platform dependent lib filename