Fix Makefile issue that broke 'make dist'.