add setup_env.php, reconstruct the bootstrap