python/setup.py: use /usr/bin/env