Fix compilation failure on linux due to last commit