Update shavite.c