update hevea version number