reproducible with Python 3 on Debian