making it build on linux