RUMP_SYS_RENAME_CHROOT
#ifndef RUMP_SYS_RENAME_CHROOT
int rump_sys_chroot(const char *) __RENAME(RUMP_SYS_RENAME_CHROOT);