diff --git a/LibOS/glibc-2.19/elf/syscallas.S b/LibOS/glibc-2.19/elf/syscallas.S
deleted file mode 120000
index 107bd13a..00000000
--- a/LibOS/glibc-2.19/elf/syscallas.S
+++ /dev/null
@@ -1 +0,0 @@
-../syscallas.S
\ No newline at end of file
diff --git a/LibOS/glibc-2.19/elf/syscalldb.c b/LibOS/glibc-2.19/elf/syscalldb.c
deleted file mode 120000
index 61dca527..00000000
--- a/LibOS/glibc-2.19/elf/syscalldb.c
+++ /dev/null
@@ -1 +0,0 @@
-../syscalldb.c
\ No newline at end of file
diff --git a/LibOS/glibc-2.19/syscallas.S b/LibOS/glibc-2.19/syscallas.S
deleted file mode 100644
index 07c6ffce..00000000
--- a/LibOS/glibc-2.19/syscallas.S
+++ /dev/null
@@ -1,11 +0,0 @@
-#include <syscalldb.h>
-
-.weak syscalldb
-.type syscalldb,@function
-
-syscalldb:
-	.cfi_startproc
-	syscall
-	retq
-	.cfi_endproc
-	.size syscalldb,.-syscalldb
diff --git a/LibOS/glibc-2.19/syscalldb.c b/LibOS/glibc-2.19/syscalldb.c
deleted file mode 100644
index 7a56162c..00000000
--- a/LibOS/glibc-2.19/syscalldb.c
+++ /dev/null
@@ -1,16 +0,0 @@
-#include "syscalldb.h"
-#include <stdarg.h>
-#include <errno.h>
-
-int register_library (const char * name, unsigned long load_address)
-	__attribute__((weak));
-
-int register_library (const char * name, unsigned long load_address)
-{
-	return 0;
-}
-
-long int glibc_option (const char * opt)
-{
-	return -EINVAL;
-}
diff --git a/LibOS/glibc-2.19/syscalldb.h b/LibOS/glibc-2.19/syscalldb.h
deleted file mode 100644
index 2833defd..00000000
--- a/LibOS/glibc-2.19/syscalldb.h
+++ /dev/null
@@ -1,39 +0,0 @@
-#ifndef _SYSCALLDB_H_
-#define _SYSCALLDB_H_
-
-#ifdef __ASSEMBLER__
-.weak syscalldb
-.type syscalldb, @function
-
-# if defined(PSEUDO) && defined(SYSCALL_NAME) && defined(SYSCALL_SYMBOL)
-#  define SYSCALLDB                     \
-    subq $128, %rsp;                    \
-    callq *syscalldb@GOTPCREL(%rip);    \
-    addq $128, %rsp
-# else
-#  define SYSCALLDB                             \
-    callq *syscalldb@GOTPCREL(%rip)
-# endif
-
-#else /* !__ASSEMBLER__ */
-asm (
-".weak syscalldb\r\n"
-".type syscalldb, @function\r\n");
-
-#define SYSCALLDB                           \
-    "subq $128, %%rsp\n\t"                  \
-    "callq *syscalldb@GOTPCREL(%%rip)\n\t"  \
-    "addq $128, %%rsp\n\t"
-
-#define SYSCALLDB_ASM                       \
-    "callq *syscalldb@GOTPCREL(%rip)\n\t"
-
-long int glibc_option (const char * opt);
-
-asm (
-".weak glibc_option\r\n"
-".type glibc_option, @function\r\n");
-
-#endif /* Assembler */
-
-#endif /* _SYSCALLDB_H */
diff --git a/LibOS/glibc-2.19/sysdeps/unix/sysv/linux/x86_64/syscalldb.h b/LibOS/glibc-2.19/sysdeps/unix/sysv/linux/x86_64/syscalldb.h
deleted file mode 120000
index 55ab3050..00000000
--- a/LibOS/glibc-2.19/sysdeps/unix/sysv/linux/x86_64/syscalldb.h
+++ /dev/null
@@ -1 +0,0 @@
-../../../../../syscalldb.h
\ No newline at end of file