Need to include Makefile.config to get the value of $(OS). Add a comment.