RUMP_SYS_RENAME_CHDIR
#ifndef RUMP_SYS_RENAME_CHDIR
int rump_sys_chdir(const char *) __RENAME(RUMP_SYS_RENAME_CHDIR);