What Operating Systems are Developers Using?