fixed bug of compilation error on Mac

fixed again