ubuntu-12.04: add cp34