Device API Vulkan not enabled when only building libtvm_runtime.so

Looks like it is linked to the correct libvulkan.so.