do not use libc++ when using clang++ as libc++ is not packaged in debian/ubuntu. use libstdc++ instead