feature #2435: PUBLIC_CLOUD is not case sensitive