diff --git a/FreeRTOS/Demo/Posix_GCC/console.c b/FreeRTOS/Demo/Posix_GCC/console.c
index fb3d869bb..31e96ead8 100644
--- a/FreeRTOS/Demo/Posix_GCC/console.c
+++ b/FreeRTOS/Demo/Posix_GCC/console.c
@@ -34,8 +34,10 @@
 #include <FreeRTOS.h>
 #include <semphr.h>
 
-SemaphoreHandle_t xStdioMutex;
-StaticSemaphore_t xStdioMutexBuffer;
+#include "console.h"
+
+static SemaphoreHandle_t xStdioMutex;
+static StaticSemaphore_t xStdioMutexBuffer;
 
 void console_init( void )
 {
diff --git a/FreeRTOS/Demo/Posix_GCC/main.c b/FreeRTOS/Demo/Posix_GCC/main.c
index e89da3b9e..a3d316cce 100644
--- a/FreeRTOS/Demo/Posix_GCC/main.c
+++ b/FreeRTOS/Demo/Posix_GCC/main.c
@@ -67,6 +67,7 @@
 
 /* Local includes. */
 #include "console.h"
+#include "timers.h"
 
 #if ( projENABLE_TRACING == 1 )
     #include <trcRecorder.h>
@@ -460,6 +461,8 @@ void handle_sigint( int signal )
 
 /*-----------------------------------------------------------*/
 
+#if ( projENABLE_TRACING == 1 )
+
 static uint32_t ulEntryTime = 0;
 
 void vTraceTimerReset( void )
@@ -481,4 +484,6 @@ uint32_t uiTraceTimerGetValue( void )
     return( xTaskGetTickCount() - ulEntryTime );
 }
 
+#endif /* if ( projENABLE_TRACING == 1 ) */
+
 /*-----------------------------------------------------------*/
diff --git a/FreeRTOS/Demo/Posix_GCC/main_full.c b/FreeRTOS/Demo/Posix_GCC/main_full.c
index a0be2b72d..8764efb47 100644
--- a/FreeRTOS/Demo/Posix_GCC/main_full.c
+++ b/FreeRTOS/Demo/Posix_GCC/main_full.c
@@ -114,7 +114,6 @@
 #define mainSEM_TEST_PRIORITY           ( tskIDLE_PRIORITY + 1 )
 #define mainBLOCK_Q_PRIORITY            ( tskIDLE_PRIORITY + 2 )
 #define mainCREATOR_TASK_PRIORITY       ( tskIDLE_PRIORITY + 3 )
-#define mainFLASH_TASK_PRIORITY         ( tskIDLE_PRIORITY + 1 )
 #define mainINTEGER_TASK_PRIORITY       ( tskIDLE_PRIORITY )
 #define mainGEN_QUEUE_TASK_PRIORITY     ( tskIDLE_PRIORITY )
 #define mainFLOP_TASK_PRIORITY          ( tskIDLE_PRIORITY )