python: use balle patched indent shift.