vpi_user.h needs vpi_compatibility.h.