Fix build error due to dc65b5723dcaedc6430240341b69b9a1b5331bb4