nix: make vbox produce gzipped images