ARMCC 5.03 support: correct python indentation