added release number to version.php