small fixes in libc