[PATCH 1/1] widl: Avoid using sprintf() to add a single character.