Delete json_tokener.c