Fix for building without VOLK