python: use '#!/usr/bin/env python' to cope with varying install locations