Use versions.php for versions