oksh RCSID sync (nop because we are portable and thus still require <sys/file.h>)