up to 1.4.13; add python3 package