Add missing GSM-prefixes to printf() calls.