Fix compilation issues in sem_test.