need RUMP_KERNEL_IS_LIBC for the buildrump.sh run