I am currently trying to include the m4ri library into ibrdtnd for my new router and I was wondering what the best way to go about that is. I realize I could make an option as the best solution to this problem, but I just need a quick fix that allows me to configure and make the files without destroying any changes I make to the Makefile. Do you know where I can include the option -lm4ri so that I can get access to this library?