diff --git a/gui-lib/icons/plt-icon-16x16.png b/gui-lib/icons/plt-icon-16x16.png
new file mode 100644
index 00000000..21a42f00
Binary files /dev/null and b/gui-lib/icons/plt-icon-16x16.png differ
diff --git a/gui-lib/icons/plt-icon-32x32.png b/gui-lib/icons/plt-icon-32x32.png
new file mode 100644
index 00000000..f72bb23d
Binary files /dev/null and b/gui-lib/icons/plt-icon-32x32.png differ
diff --git a/gui-lib/icons/plt-icon-48x48.png b/gui-lib/icons/plt-icon-48x48.png
new file mode 100644
index 00000000..95bc1648
Binary files /dev/null and b/gui-lib/icons/plt-icon-48x48.png differ
diff --git a/gui-lib/mred/private/wx/gtk/frame.rkt b/gui-lib/mred/private/wx/gtk/frame.rkt
index 28f0afd2..b5a0bf2b 100644
--- a/gui-lib/mred/private/wx/gtk/frame.rkt
+++ b/gui-lib/mred/private/wx/gtk/frame.rkt
@@ -131,9 +131,9 @@
               (GdkEventWindowState-new_window_state evt))))
     #f))
 
-(define-runtime-path plt-16x16-file '(lib "icons/plt-16x16.png"))
-(define-runtime-path plt-32x32-file '(lib "icons/plt-32x32.png"))
-(define-runtime-path plt-48x48-file '(lib "icons/plt-48x48.png"))
+(define-runtime-path plt-16x16-file '(lib "icons/plt-icon-16x16.png"))
+(define-runtime-path plt-32x32-file '(lib "icons/plt-icon-32x32.png"))
+(define-runtime-path plt-48x48-file '(lib "icons/plt-icon-48x48.png"))
 
 (define icon-pixbufs+glist
   (delay