Added some libraries to fix the bug with tests; now all tests work properly;