Issue #116: Really add vhpi_user.h