Index: src/org/python/util/jython.java
===================================================================
--- src/org/python/util/jython.java	(revision 3440)
+++ src/org/python/util/jython.java	(working copy)
@@ -78,6 +78,8 @@
         CommandLineOptions opts = new CommandLineOptions();
         if (!opts.parse(args)) {
             if (opts.version) {
+	         PySystemState.initialize(PySystemState.getBaseProperties(),
+                                 opts.properties, opts.argv);
                 System.err.println(InteractiveConsole.getDefaultBanner());
                 System.exit(0);
             }