How L4Linux Linked the header file?