Add Debug profile to CMake

Change-Id: Ie544d6f37a62f0a9b226c71ba76d13a18bf5d228
diff --git a/src/dereko2vec.c b/src/dereko2vec.c
index ccedb96..8c34179 100644
--- a/src/dereko2vec.c
+++ b/src/dereko2vec.c
@@ -508,7 +508,7 @@
 	}
 }
 
-void SaveArgs(int argc, char **argv) {
+void SaveArgs(unsigned int argc, char **argv) {
 	unsigned int i;
 	char args_file[MAX_STRING];
 	strcpy(args_file, output_file);