RUMP_SYS_RENAME_UTIMES
#ifndef RUMP_SYS_RENAME_UTIMES
int rump_sys_utimes(const char *, const struct timeval *) __RENAME(RUMP_SYS_RENAME_UTIMES);