I want to do some modifications to genode code using a C library, I want to compile Genode code along with a .so file from some third party library and the corresponding .h file. I am using functions from that library in vm_base.h in os sub-directory. Is there some simple way to directly change the Makefile to include .so file or something similar?