replacement for the default arma memory allocator, based on intel tbb malloc 4.2, supporting large pages