Created attachment 166782 [details] patch Fix Makefile misstyped variable name. Fix INDEX-9 building. Patch attached.
Thanks. This was committed by antoine@ in r408537.