[WIP] Use libc++ and C++11