Makefile: fix DOX invocation