fix a linking issue