FUNNY_FILENAME
if (0 == strcmp(FUNNY_FILENAME, dirent->d_name))
atf_tc_fail("no dirent for file: %s", FUNNY_FILENAME);
RL(fd = rump_sys_open("/mp/" FUNNY_FILENAME, O_RDONLY));