Use c++filt to demangle symbols
Accidently turned off multiple threads