added BUGS file for libc