/etc/VERSION to distrotest.php