[seL4] Adding a library to the executable