build: change indentation in infrastructure files