What distribution did you use to make this ? I tried Ubuntu, ZorinOS, Manjaro and Debian, but every time the python script can't find the arguments file for syscalls (even if I change the linux src in the makefile)