Index: src/libcfa/concurrency/kernel
===================================================================
--- src/libcfa/concurrency/kernel	(revision 34c6c76779b99bfd46b5d63d64172801bf9efc5f)
+++ src/libcfa/concurrency/kernel	(revision cdbfab0d9666b55e218af2f33951428230e8b826)
@@ -120,5 +120,5 @@
 #ifdef __CFA_DEBUG__
 	// Last function to enable preemption on this processor
-	char * last_enable;
+	const char * last_enable;
 #endif
 };
Index: src/libcfa/concurrency/monitor.c
===================================================================
--- src/libcfa/concurrency/monitor.c	(revision 34c6c76779b99bfd46b5d63d64172801bf9efc5f)
+++ src/libcfa/concurrency/monitor.c	(revision cdbfab0d9666b55e218af2f33951428230e8b826)
@@ -823,5 +823,5 @@
 		this.monitor_count = thrd->monitors.size;
 
-		this.monitors = malloc( this.monitor_count * sizeof( *this.monitors ) );
+		this.monitors = (monitor_desc **)malloc( this.monitor_count * sizeof( *this.monitors ) );
 		for( int i = 0; i < this.monitor_count; i++ ) {
 			this.monitors[i] = thrd->monitors.list[i];