Index: src/libcfa/concurrency/kernel
===================================================================
--- src/libcfa/concurrency/kernel	(revision 0cf5b7992194658ccc6f30eae5069589577633a3)
+++ src/libcfa/concurrency/kernel	(revision c5f3c68c3e861030ba705e8dae111f3bea0870ed)
@@ -108,5 +108,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 0cf5b7992194658ccc6f30eae5069589577633a3)
+++ src/libcfa/concurrency/monitor.c	(revision c5f3c68c3e861030ba705e8dae111f3bea0870ed)
@@ -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[i];