Fixed an error in the workspace Makefile.