fix output filenames on gdc

also, a little formatting.