HEVEA 2.12

Updated the version.