Fixed build on Linux. New lib targets: libhtvm.so and libhtvm-static.a
(libhtvm.a caused problems on Windows)