updated so compilation/tests work on linux