Fix for issue #1 "jemalloc patch isn't applicable anymore"