New debug options to not lean on the debug_info option (fixes #139)