Update Makefile.ius

First step toward supporting GPI_IMPL=vhpi.