If their resources are so limited, why have they decided that rewriting libc from scratch is a top priority?