more work on libc