Use new attribute syntax in python files in src/etc too (#13478)