Fix version.php