On Sun, 20 Apr 2014, Iain Hibbert wrote: > 1. should we be mixing /usr/include and $SRC headers in this way? > - this does not feel right to me this one is actually $DESTDIR/usr/include so thats not a problem iain