Added one more file to delete in core-spec/Makefile/make clean