implement torture and execution;
makefile fix