Remove some redundancies...
Fix a regression where core dumps not being created on SEGFAULT...