Proper loading for libvcmi.so, now it crashes after entering main()