Fix symcache_add API in pyvmi