Fix build when VHPI disabled