fix a linking error