Fixes #33: support the debug_info