Fix link error due to 9112de9db26d3262adf2c5ab1ae43024e83f683c