delete pointers when no longer used
delete pointers when no longer used

AlexanderViand/HElib,AlexanderViand/HElib,berserkr/HElib,berserkr/HElib,AlexanderViand/HElib,shaih/HElib,shaih/HElib,berserkr/HElib,shaih/HElib