Use an OS independent location for the temporary file.
Make the unzipping less platform-dependent by using PHP's built-in gzip handler.
Update binary with latest changes.