Moved initialization of libc to use the IPC calls into libbarrelfish/init.c