Adjusted Makefiles to make them build (and run the tests) successfully on Linux.