gnubg/flags
