--- src/options.cc	2009-09-22 20:30:26.000000000 +0200
+++ src/options.cc	2009-09-22 20:30:01.000000000 +0200
@@ -1245,7 +1245,7 @@
                 FindColor(new_bw_pal,color_no));
       return -1;
    }
-   char *l=strchr(button,'&');
+   const char *l=strchr(button,'&');
    if(!l)
       return -1;
    char res=toupper(l[1]);