gnu99 and badge