we now ignore .box files in git