python3: removed; superseded by python3.4.