Update Makefile for NVC (still not working)