Add the library path for gecode-things