Fix error on Linux