Made it build on linux.