#116 removed debug-abort