Fix #55: use proper Python executable.

This relies on a patch to catkin to add this variable.