--- np2/x11/gtk2/dialog_sound.c	2011/01/15 18:43:13	1.11
+++ np2/x11/gtk2/dialog_sound.c	2012/01/23 04:03:22	1.12
@@ -654,7 +654,7 @@ static void
 driver_radiobutton_clicked(GtkButton *b, gpointer d)
 {
 
-	driver_snddrv = (int)d;
+	driver_snddrv = GPOINTER_TO_UINT(d);
 }
 
 static GtkWidget *