bin/pyminify-3.13