use getenv() instead of $_ENV, which makes update.php work