You can delete the whole tree from your Home directory. It's just for compilation purposes there. Or if you don't want to delete it, call "make distclean" in the directory where the top level Makefile resides. It should decrease its volume "a little".