python3.4: update to 3.4.2