fix linux linking