minor change to build on linux