Apparently, Options.o cannot be linked in without $(PROGDIR)/util.o