Add agd as output format for ConvertFile

Forgot to add the file output format