Компиляция .c файла с помощью snap KLEE

Я пытаюсь скомпилировать файл в соответствии с инструкцией klee-snap

При вводе команды получаю такой результат:

nivk@nivk-virtual-machine:~/reverse$ gcc $(klee.env CFLAGS) $(klee.env LDFLAGS) 1.c
/usr/bin/ld: /tmp/ccDEXLTN.o: in function `main':
1.c:(.text+0x5c): undefined reference to `klee_check_memory_access'
/usr/bin/ld: 1.c:(.text+0x7b): undefined reference to `klee_report_error'
collect2: error: ld returned 1 exit status

Подскажите в чем может быть проблема, если я устанавливал через snap install klee, klee.env указывает на существующие директории.

Вот мой код:

#include <stdlib.h>
#include <klee/klee.h>
#include <assert.h>

struct char2 {
    char* a;
    char* b;
};

int main() {
    struct char2* c2 = (struct char2*)malloc(sizeof(struct char2));
    c2->a = (char*)malloc(sizeof(char)); // Memory allocation
    *c2->a = 'a';

    // Сохранение указателя на память c2->a для проверки на утечки
    char* a = c2->a;

    free(c2);

    klee_check_memory_access(a, sizeof(char));
    klee_report_error(__FILE__, __LINE__, "Memory leak detacted", "leak");

    return 0;
}