Fixed #876: tcmalloc is used by default, even if it is not present