Index: uspace/srv/devman/devman.h
===================================================================
--- uspace/srv/devman/devman.h	(revision 393302009dc835da26285d65656e166c29b4540f)
+++ uspace/srv/devman/devman.h	(revision 1ab3c4b698c08d84c77675ba474ca8dfd5164dbc)
@@ -80,5 +80,5 @@
 	char *name;
 	/** Path to the driver's binary. */
-	const char *binary_path;
+	char *binary_path;
 	/** List of device ids for device-to-driver matching. */
 	match_id_list_t match_ids;