libc++: initialise the c runtime