https://kurund.com/detecting-os-in-php/