proper output filename