Fix gnuflag rev