Fix a stack alignment issue
Make sure core dumps are still generated

This removes the non-stack-overflow segfault handler. An improved
version will be added later. But that is a separate change