fix a link error on Ubuntu Linux