to override default valued, from pipeline script. We need this for libtine, which must be installed in /usr/lib