Fix a minor bug in makefile.dao.