Correctly gzip stub file