Fix a problem with linking on Linux.