Another attempt at making instrumenter find the libtesla header...