Linking a L4 library with a L4Linux app?