Small change to Python compression library to make it not crash anymore