Trimming uclibc in l4