fixed a linking error