#4403: Update makefile.