(core_info.c) Check first if supported_extensions_list is not NULL before
freeing