fix linux library name