Fix the tup nofileout example