remove version.php and VERSION global constant, do version-related things in a slightly less ridiculous way