Fix error on linux