Use hex format for display of crc32

Use python-version idempotent version as well.

bin/rebuild-script.py

@@ -7,7 +7,13 @@
 import os
 import re
 import codecs
-from zlib import crc32
+from zlib import crc32 as _crc32
+
+
+def crc32(data):
+    """Python version idempotent"""
+    return _crc32(data) & 0xffffffff
+
 
 here = os.path.dirname(__file__)
 script = os.path.join(here, '..', 'virtualenv.py')
@@ -20,6 +26,7 @@
     re.S)
 file_template = b'##file %(filename)s\n%(varname)s = convert("""\n%(data)s""")'
 
+
 def rebuild(script_path):
     with open(script_path, 'rb') as f:
         script_content = f.read()
@@ -42,12 +49,12 @@ def rebuild(script_path):
         new_data = b64.encode(gzip.encode(embedded)[0])[0]
 
         if new_data == data:
-            print('  File up to date (crc: %s)' % new_crc)
+            print('  File up to date (crc: %08x)' % new_crc)
             parts += [match.group(0)]
             continue
         # Else: content has changed
         crc = crc32(gzip.decode(b64.decode(data)[0])[0])
-        print('  Content changed (crc: %s -> %s)' %
+        print('  Content changed (crc: %08x -> %08x)' %
               (crc, new_crc))
         new_match = file_template % {
             b'filename': filename,