Is this "os" different somehow from the "os" in platform.json?