Allow "make check" without installing first
Include stdint.h in vhpi_user.h on OS X