am 2f838d40: Merge "tools: use \'/usr/bin/env python\' instead of \'/usr/bin/python\'"

* commit '2f838d4058c091c56c31c5dfbc17d7379ba5523b':
  tools: use '/usr/bin/env python' instead of '/usr/bin/python'