Update to correctly include deque.

Author: petervdonovan

C/Savina/src/concurrency/BoundedBuffer.lf

@@ -47,6 +47,7 @@ import BenchmarkRunner from "../BenchmarkRunner.lf";
 preamble {=
     #include "PseudoRandom.h"
     #include <math.h>
+    #include "deque.h"
 
     double processItem(double curTerm, size_t cost) {
         double res = curTerm;

C/Savina/src/concurrency/SleepingBarber.lf

@@ -53,7 +53,8 @@ target C {
     ]]] */
     threading: false,
     /// [[[end]]]
-    files: ["/lib/c/reactor-c/util/deque.h", "/lib/c/reactor-c/util/deque.c", "../include/PseudoRandom.h"]
+    files: ["/lib/c/reactor-c/util/deque.h", "/lib/c/reactor-c/util/deque.c", "../include/PseudoRandom.h"],
+    cmake-include: ["../include/deque.cmake"]
 };
 
 import BenchmarkRunner from "../BenchmarkRunner.lf";