Fix linux linking error