Make sure the gzip objects are closed neatly
Actually gzip code was fine before
fixed linux binaries; linked to a dodgy version of boost previously