fixed an linking error in the header