Global Makefile: fixed a directory name issue.