fix to build on linux