a custom memory allocator for arma, based on tbbmalloc 4.2 (intel)