Add a fix for a wrong linking.