Updated version number after last HEDL release