Optimize and use libc++