use official gecko setup script