Fix naming of output boxfiles.