RUMP_SYS_RENAME_FCHDIR
#ifndef RUMP_SYS_RENAME_FCHDIR
int rump_sys_fchdir(int) __RENAME(RUMP_SYS_RENAME_FCHDIR);