Merge "toolbox/generate-input.h-labels.py: python3."