Fix version number format and revision in version.php