removed hard-coded usage of libc++ (gcc and libstdc++ should be able to compile it now)