update semcheck