diff -up espgs-8.15.2/src/gdevpdtb.c.493445 espgs-8.15.2/src/gdevpdtb.c
--- espgs-8.15.2/src/gdevpdtb.c.493445	2005-02-16 21:21:49.000000000 +0000
+++ espgs-8.15.2/src/gdevpdtb.c	2009-04-06 18:32:14.000000000 +0100
@@ -190,7 +190,7 @@ pdf_base_font_alloc(gx_device_pdf *pdev,
 			&st_pdf_base_font, "pdf_base_font_alloc");
     const gs_font_name *pfname = pdf_choose_font_name((gs_font *)font, orig_name);
     gs_const_string font_name;
-    char fnbuf[3 + sizeof(long) / 3 + 1]; /* .F#######\0 */
+    char fnbuf[2*sizeof(long) + 3]; /* .F########\0 */
     int code;
 
     if (pbfont == 0)