diff --git a/libports/lib/mk/libc.mk b/libports/lib/mk/libc.mk
index 8e29221dc..8e25a806f 100644
--- a/libports/lib/mk/libc.mk
+++ b/libports/lib/mk/libc.mk
@@ -10,7 +10,7 @@ LIBS  += timed_semaphore cxx
 # Back end
 #
 SRC_CC = atexit.cc dummies.cc rlimit.cc sysctl.cc readlink.cc munmap.cc \
-         issetugid.cc errno.cc gai_strerror.cc ioctl.cc clock_gettime.cc \
+         issetugid.cc errno.cc gai_strerror.cc clock_gettime.cc \
          gettimeofday.cc malloc.cc progname.cc fd_alloc.cc file_operations.cc \
          plugin.cc plugin_registry.cc select.cc exit.cc environ.cc
 
diff --git a/libports/src/lib/libc/file_operations.cc b/libports/src/lib/libc/file_operations.cc
index f528f1583..a5641fb88 100644
--- a/libports/src/lib/libc/file_operations.cc
+++ b/libports/src/lib/libc/file_operations.cc
@@ -226,6 +226,10 @@ extern "C" int ioctl(int libc_fd, int request, char *argp) {
 	FD_FUNC_WRAPPER(ioctl, libc_fd, request, argp); }
 
 
+extern "C" int _ioctl(int libc_fd, int request, char *argp) {
+	FD_FUNC_WRAPPER(ioctl, libc_fd, request, argp); }
+
+
 extern "C" int listen(int libc_fd, int backlog) {
 	FD_FUNC_WRAPPER(listen, libc_fd, backlog); }
 
diff --git a/libports/src/lib/libc/ioctl.cc b/libports/src/lib/libc/ioctl.cc
deleted file mode 100644
index 553483340..000000000
--- a/libports/src/lib/libc/ioctl.cc
+++ /dev/null
@@ -1,20 +0,0 @@
-/*
- * \brief  C-library back end
- * \author Norman Feske
- * \date   2008-11-11
- */
-
-/*
- * Copyright (C) 2008-2011 Genode Labs GmbH
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU General Public License version 2.
- */
-
-#include "libc_debug.h"
-
-extern "C" void _ioctl()
-{
-	raw_write_str("_ioctl called, not yet implemented!\n");
-}
-