make it build on linux, too.