Also remove headers for old sysv semaphore emulation that were forgotten
when that was changed about a year ago.