Stefan Krah added the comment: Yes, please add libmpdec to the ignored files. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue31221> _______________________________________