how to get the .dfa output file in gcc