try to fix tombstone.c