RUMP_SYS_RENAME_RMDIR
#ifndef RUMP_SYS_RENAME_RMDIR
int rump_sys_rmdir(const char *) __RENAME(RUMP_SYS_RENAME_RMDIR);