Fixing build break generated by a bug in the Makefile.