Use python, not python2, as name of python interpreter.

Partially reverts ba8f2c48b700a466a8cf7097d5f72d43372d4c37.
See #251.