Use test-skeleton.c in tst-sem3 and tst-sem4