Ugh, actually output the correct file