[Bug 876470] rpmlint uses wrong magic number for Python 3.4 bytecode