Fix compilation issues -> Ignore core dump paramater in Terminated constructor