Many fixes to eval.py including proper termination of children processes.