Fixed Linux-specific bug in tests, but kept final version (continued as Eclipse project).