x86_64 -> libbatscore_64.so else libbatscore_32.so