Fix bug in MLK linking