Make use of libc++ optional