use print_exc() instead of format_exc()