Explicitly pass the output file name, for consistency with the target outputs