Fixes #185: $_SERVER['HOME'] not set on Windows