RUMP_SYS_RENAME_FSYNC
#ifndef RUMP_SYS_RENAME_FSYNC
int rump_sys_fsync(int) __RENAME(RUMP_SYS_RENAME_FSYNC);