repopick.py: Fix for kitkat