Name the flag files correctly.