Merge "tools: use '/usr/bin/env python' instead of '/usr/bin/python'"