fix seg fault, retain debugging info for now