add some stubs for libc needed by libc++