removed some stuff of the crash handlers which is not used anymore in our code