make room for rumpuser-xen's errno