Update VERSION check in configure script to use BRE#113

Gumnos wants to merge 1 commit intotikv:maintikv/jemallocator:mainfrom

Gumnos:patch-2Gumnos/jemallocator:patch-2Copy head branch name to clipboard