Use pinocchio in version comatible with python 3.4.