Fix build on linux