Fixes Vix library name on Linux