making version.php release reflect simply '2.4.2-prerelease'