Fix a small problem with the linking