fixing version.php